MAUDE_LIB=. ./maude.linux

